Return Lambdaprint Num