C23 removed the whole stuff about indeterminate value and trap representation. Underflow/overflow being silent or not is implementation defined.