module Test.Float.Type where type Number_ = Float