"decimal number" Deutsche bedeutung