min(i64 / 0.5)
