execProcess return type is TaintedString, so I don't think it's float(bash 
performs division and returns string)

Reply via email to