i64 * 0.5 == min(i64)
