fix added to handle strangely formatted p-codes (e.g. "     3.000000")