Kac-Rice formulas