Those numbers are trillions, not billions. Government schools strike again.
The numbers as written are correct........