Double numbers handled