recognizes that decimal numbers exist