enhanced functionality in V01 vs. V00, V02 finished, conversion to double precsision in V03

Dependencies:   mbed

Revision:
5:e443d5ad409f
Parent:
0:15be70d21d7c
diff -r 47581778e863 -r e443d5ad409f mbed.bld
--- a/mbed.bld	Thu Mar 01 13:49:29 2018 +0000
+++ b/mbed.bld	Thu Mar 01 17:36:46 2018 +0000
@@ -1,1 +1,1 @@
-http://mbed.org/users/mbed_official/code/mbed/builds/7130f322cb7e
\ No newline at end of file
+https://os.mbed.com/users/mbed_official/code/mbed/builds/5571c4ff569f
\ No newline at end of file