File:Extended_Real_Numbers.svg loading ...