noteq(KurumiValue other) { return(other.equal_number(this).negation()); }
equal(KurumiValue other) { return(other.equal_number(this)); }