Fix stdlib's min()

Make it cast arguments to float and return a float value (if the result is not
a whole number) or an int (if it is).

Change-Id: If3af6dca2a056569e4819d612d19026078ce3d78