fixnum definitions in a single file
fixnum specs
more specs: negative expression initialized with a multiplication
more specs: additions of multiplications