Let's use our is it a double or a unknown value then it's a double theory for math operators

Well except for modulo as well modulo is for integers, not for doubles.