alt Hacker News> For TechSavvy I believe it was dynamic /64 by default but static /56 for free on request.
"On request" meaning you told your CPE equipment to send a DHCP-PD packet, i.e., you didn't have to call them and ask for something special with your account.
I did phone them to request the static /56, and to assign PTRs. I didn't try requesting the /56 before I called them so I can't say whether that would have worked or not. If you're saying it would have I'll believe you.