fix Issue #6: Failsafe deserialization of double values