[linux] leading zeros in awk opens verdwenen?

[Hans Paijmans]

awk '{printf("%02.2f\n",3/2)}' -

zou toch 01.50 moeten geven? Ik krijg 1.50!


-- 
Dr. J.J. Paijmans
Tilburg University: Dept. of Linguistics & AI                013-4662693
Rijksdienst voor Archeologie, Cultuurlandschap en Monumenten 033-4227591
Maastricht University: IKAT, Faculty of General Sciences     043-3883477
Thuis: Kleine St.Jansstraat 3, 3811 HV  Amersfoort           033-4722579
http://paai.uvt.nl     http://paijmans.net          GSM: +31 621 961 083