precision casting

Dump pipe precision casting.