Support STM32F769I Discovery for mbed. This board support double precision floating point which i want to use with mbed.