pass through number values to yacc (#2)