Implement --extended-exact option (#24)