fix printf's to use doubles/floats where appropriate