Numbat comes with a special module called
prelude that is always loaded on
--no-prelude is specified on the command line). This module
is split into multiple submodules and sets up a useful default environment with
mathematical functions, constants but also dimension definitions, unit
definitions and physical constants.
You can find the full source code of the standard library on GitHub.
This chapter is a reference to the prelude module.