Výborně, vše správně!
Jen u té poslední otázky - praktický problém je v tom, že se zdaleka nemusí jednat o velké hodnoty nebo o přetečení do nekonečna. To jsme viděli v článku, stačí "jen" rozdíl v několika řádech a asociativita přestává platit například i u d==5.0.