Oh great so 2*30=60 he only owes 28.3$ million... hehe

I guess you wanted to say 2^30 which makes 1.5$

My hunch is the HN formatter swallowed the double asterisk typical of python exponents.

While we're being pedantic, 2^30 is 28 in normal programming languages ;)

But 2^30 is 28.