Чтобы определить, был ли файл PVS сохранен с двойной точностью, откройте его в редакторе текста и проверьте версию PV-PVS на первой строке.