Better checking of interfaces for numeric types