Added the possibility to use double numbers