pub fn builtin_sqrt(x: PositiveF64) -> f64