LeanSieve 7: lean's calc mode

Calc mode in lean 4 is cool, but natural number division is the worst. Why am I even doing this?!? :)