Comment by user_7832

I believe 112 is already the single emergency number. It appears to be a relatively recent thing though.