let signal_floor s = let new_signal = fun t -> v_floor ((signal_fun s) t) in (frequency s, new_signal)