What are the numbers after the languages supposed to be? Hours? Minutes? 10 hours for blinking an LED seems far too long, while 2500 minutes for an OS seems far too short.