proofs/math/typed/f64ratio.bend checks

import Base
import ../../../spec/lib/common.bend as C
import ../../../spec/math/f64.bend as SF
import ../../../spec/math/w64.bend as SW
import ../../../src/math/f64.bend as F
import ../../../src/math/w64.bend as X
import ../../../src/math/u64.bend as WU
import ../../../src/math/num.bend as NE
import ../../../src/math/natural.bend as M
import ../../lib/nat.bend as N
import ../../lib/logic.bend as L
import ./w64add.bend as WA
import ./w64sh.bend as SH
import ./w64clz.bend as CZ
import ./f64bits.bend as FB
import ./f64light.bend as FL
import ./f64rtools.bend as RT
import ./f64nrp.bend as NR
import ./f64bl.bend as BL
import ./f64tools.bend as T
import ./f64conv.bend as CV