fixed typo
fixed signdness detection for expressions with reals
Little steps in realmath test bench