fp.bitvm