Specs for operations on mixed numeric types