Fun facts about carl friedrich gauss