What a national budget measured in bitcoin would look like