In a recent year there were about 400,000,000 mobile internet users. That same year, there were about 1.2* into 10 ninths desktop internet users. About how many time larger was the number of desktop internet users than the number of mobile internet users?