fun main () = let val x = 0.001 * 50.0 in return {[x]} end