Typing Numerical Practice