allow approximating unions of numeric types