Rename potion_decimal to potion_double

but this is still inconsistent. potion_double should be the initializer, not
potion_real.
Rename potion_double to potion_strtod, potion_real to potion_double

potion_double is now the type initializer. Now we have almost consistent type names
Rename PN_IS_NUM to PN_IS_INT