x64: fp support