Definition f64 := BiF64.
