LotFP and Carcosa