Took me a while, but I finally figured it out. Now you can multiply almost infinitely large numbers precisely in scratch, assuming you know their form in binary. This is very important for implementing any sort of public key cryptography (key exchanges included) in Scratch. Next up is subtraction and modulus.