How are Integers implemented in Mojo? - Modular