print 0xf8ef380d6/0x0710c7f29 print 0xf8ef380d/0x0710c7f2 I would expect both lines to print '35' however, on repl.it with the empythoned engine, the first line prints '34'