rrepair, merkle: eliminate wrong warnings for precision loss when processes are exact
rrepair, merkle: eliminate wrong warnings for precision loss when processes are exact

scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris