Pin down numeric types