A zookeeper weighed an African elephant to be 9 × 103 pounds and an African lion to be 4 × 102 pounds. How many times greater is the weight of the elephant than the weight of the lion?