As the previous replies said. Around 2 years ago we had a user wanting to print at up to 1600C, and I remember that we made some changes to RepRapFirmware to support that.