Выдернуть из пинга среднее время для мртг, подскажите

#!/bin/bash
ping ya.ru -c1 | grep "rtt min/avg" | awk {'print($4)'}

имеем на выходе
54.796/54.796/54.796/0.000
как теперь сделать трим и получить циферки