i32 * max(f64)
