DoublePositiveRule parsing improved.

It wasn't exactly what we wanted yet, having
problems with numbers between 0 and 1.