decimal is a number