well if you want to use awk, you can use
Code:
echo "" | awk 'END {print "'${a}'" ^ "'${b}'" }'
So script will look like this.
Code:
#!/bin/bash
a=4.2
b=3.5
echo "" | awk 'END {print "'${a}'" ^ "'${b}'" }'
When you will run this, the output will be
151.835