#!/bin/bash x='80' if [[ ! "$x" =~ "." ]]; then x=$x'.0' fi echo $x