"numeric constant" Deutsche bedeutung