Fixed some import-related bugs with the Number example