Top-level package for packages containing standard Wyjec functions operating on values of float type.