(tests
 (names simple floats)
 (package alcotest)
 (libraries alcotest))
