È un template della libreria standard, sì, in questo caso serve per il valore massimo assumibile da double...

La ricorsione serve a semplificare le definizioni, utilizzi per definire la funzione la funzione stessa, quindi ti basta definire il caso base e quello normale...
Una volta capito il meccanismo sono assai di più facile comprensione...