Bounds computation for trunc operations