Catch NullPointers in new double parsing method.

The new implementation of the DoublePositiveRule
no longer throws NumberFormatException, but
NullPointer ones, which we must catch.