* arithmetic ops between checked types yield underlying types now