floating point output formating

[jzakiya]

I compute a floating point number `x`. How do I use `echo|write.stdout` to 
output it with just 4 decimal digits showing?