another fix for numerics extension