Several optimizations for R6RS fixnum arithmetic