SELECT intDiv(18446744073709551615, 0.9998999834060669); -- { serverError ILLEGAL_DIVISION }
SELECT intDiv(18446744073709551615, 1.);  -- { serverError ILLEGAL_DIVISION }
