KB17533: How to create a round down metric in MicroStrategy Developer 9.x

To create a round-down function that produces the following sample results, use the following formula in Metric Editor in Strategy Developer 9.x:
 
24.45 -> 24.4
 
24.41 -> 24.4
 
See below for the definition of the metric:
 

 
The image below describes the difference between normal metric and round-down metric.
 

 
Formula:
 
(Int((Revenue * 10)) / 10)