re #6669 add missing import for numpy