struct Fp64 {
  high: f32,
  low: f32
}