Fix references to fixnum types
Ensure we run tests in checked mode.