0.5 * i64 <= i64
