Automatic conversion between fixnum and float