I wonder if anyone has tried implementing the decimal point as a binary operation a.b = $f(a, b) = a+b/10^{1+floor(log_{10} b)}$ That would simplify the PL design, and add new possibilities. For example, (-2).34 is equal to -1.66, 3.(1+6*5) is 3.31