tests/computation.why

   1
   2 theory T
   3
   4 use int.Int
   5 use real.RealInfix
   6 use int.Power
   7 use real.PowerInt as P
   8
   9 goal g: 0x1p3321941 <. P.power 10.0 (power 10 6 + 4) <. 0x1p3321942
  10
  11 end
  12