add printf %f and %e for BigFloat. also fix a typeinference issue with sprintf, so it is faster than before