proofs/math/typed/fix64.bend checks

import Base
import ../../../spec/lib/common.bend as C
import ../../../spec/math/generic.bend as SG
import ../../../spec/math/fixed.bend as SF
import ../../../src/math/w64.bend as X
import ../../../src/math/u64.bend as WU
import ../../../src/math/fixed.bend as F
import ../../../src/math/generic.bend as GN
import ../../../src/math/instances.bend as I
import ../../../src/math/num.bend as NM
import ../../../src/math/natural.bend as M
import ../../lib/nat.bend as N
import ../../lib/lemmas/proofs/nat_algebra.bend as NA
import ../natural/modpow.bend as MP
import ../natural/bits.bend as B
import ./u32laws.bend as LW
import ./shrn.bend as SHN
import ../../lib/u32.bend as U3
import ../../lib/arith.bend as AR
import ../natural/arith.bend as R
import ./width.bend as WW
import ./w64add.bend as WA
import ./w64sh.bend as SH
import ./w64dmtop.bend as DT
import ./w64dmrem.bend as DR
import ./u64laws.bend as LV
import ./u64int.bend as UI
import ./u64mont.bend as MT
import ./f64bits.bend as FB
import ./fixgen.bend as G
import ../../lib/word.bend as WD
import ../../lib/logic.bend as L