Multiply is OK, but division on a floating point is a nightmare 😂

I’m no expert but as I understand it, existing Bitcoin scripts combined in Merkle trees through taproot give a Turing close engine already.