make cat work nicely with Number