fix signhandler in numeric extension