some ideas for numeric types assertions

asserts are unexported, because they don't define methods yet