A small FLOAT type DSL for precision checking