Why is this safe to assert instead of throwing a runtime exception for very large double values?