doc semantics of numeric types