int(f64 / 1)
