pub fn scaled_to_f32(v: i128, exp: i32) -> f32
v·2^exp rounded once to f32, to nearest with ties to even, a denormal flushed to a zero of its sign.
v·2^exp