Singapore’s population is recorded as being just under 10,700, of whom about 3,000 are women.