DB<95> $one = 1-1e-16

  DB<96> printf '%.17f', $one
0.99999999999999989
  DB<97> p 1 > $one
1
  DB<98> $one = 1-1e-16

  DB<99> p $one
1
  DB<100>