"dual number" Deutsche bedeutung