@Dennis Could you please pull Cubix? There was a bug where if the result of an integer division was between 2^31 and 2^53, it gave an incorrect result, but that's fixed now.
(this comment stems from the fact that I got a notification today in my email that a bug that I filed 4 years ago and that was classified by the developer as critical finally got fixed. In a product paid on subscription basis, that costs hundreds of dollars a year)