Added fixnum extension.