pub type PascalAsTypeF64 = f64;