Question: When was Zimbabwe's population at 1.25037e+07?
Paraphrase: What year did Zimbabwe have 1.25037e+07 people?
SPARQL (Wikidata): SELECT ?value WHERE { wd:Q954 p:P1082 ?s . ?s ps:P1082 ?x filter(contains(?x , '1.25037e+07')) . ?s pq:P585 ?value}