bugfix in pretty printing error message
add bad numeric value error