Fix example in manual for `floor`. See #155.