using the local instance of numberToConvert
removed remnants of unused specifications