[movitz-ticket] Re: #4: add floating point type