private PLNumberAtom div_fun(PLNumberAtom a, PLNumberAtom b) { return(a / b); }
private PLNumberAtom minus_fun(PLNumberAtom a, PLNumberAtom b) { return(a - b); }
private PLNumberAtom mult_fun(PLNumberAtom a, PLNumberAtom b) { return(a * b); }
// // Primitive arithmetic operations // private PLNumberAtom plus_fun(PLNumberAtom a, PLNumberAtom b) { return(a + b); }