exec rpn 09:55 4:15 -
stdout '5.67\n'