Bootstrap: added some numeric primitives