Relaying from a coworker:
"Quick poll: which is the larger #IPv6 prefix? 2001:db8::/32 or 2001:db8:1234::/48? Don't discuss, don't look for an official definition, just vote by responding"
@nygren was unsure if "larger" meant longer prefix or more addresses, assumed the latter