Which number, when doubled, exceeds its half by nine?