bash multiply by decimal