int(1) * f64
