dc -e128p2*p?2%p