Float package:Agda

Logically consistent comparison of floating point numbers.