"finite decimal fraction" Deutsche bedeutung