Coq < Compute 0.1. Toplevel input, characters 8-11: > Compute 0.1. > ^^^ Warning...

lelf on April 11, 2021 | parent | context | favorite | on: 0.1 and 0.2 Returns 0.30000000000000004 (2018)

  Coq < Compute 0.1.
  Toplevel input, characters 8-11:
  > Compute 0.1.
  >         ^^^
  Warning: The constant 0.1 is not a binary64 floating-point value. A closest
  value 0x1.999999999999ap-4 will be used and unambiguously printed
  0.10000000000000001. [inexact-float,parsing]
       = 0.10000000000000001
       : float