Library Float.AllFloat

Require Export RND.
Require Export Closest2Plus.