There does appear to be a rounding bug in this situation. I am investigating now and will get back to you here when I have more info or a fix. The bug only seems to occur in the 64-bit version (which is odd)!.
This rounding issue is fixed in LEAP v2020.1.39, which will be posted shortly.