The Happy Numbers of Julius Miles