Reinstated numeric extension methods, renamed Real to Fixed, corrected numeric error in GalaxyViewer's rendering code, and changed Galaxy.angularDiameterCutoff back to being a double